Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
751	SDA Frequencies / Cross-tabulation Program Add to Reading List Source URL: cps.ipums.org Language: English - Date: 2010-06-11 13:33:12 Categorical data Data analysis Type theory Electronic filter Cross tabulation Statistics Mathematics Variables
752	IN DULCI JUBILO, INC. Latin: “In Sweet Joy” P.O. Box 7674  Berkeley, CaliforniaPhone: www.indulcijubilo.org Add to Reading List Source URL: www.indulcijubilo.org Language: English Project management In dulci jubilo Ada United States Postal Service Type system Computing Software engineering Programming language theory
753	A Quantitative Method for Substantive Robustness Assessment Forthcoming in Political Science Research and Methods Justin Esarey∗ and Nathan Danneman† April 10, 2014 Add to Reading List Source URL: jee3.web.rice.edu Language: English - Date: 2014-04-10 17:15:59 Statistical inference Econometrics Estimation theory Statistical hypothesis testing Statistical power Type I and type II errors Bayes estimator Confidence interval Loss function Statistics Hypothesis testing Design of experiments
754	Lecture Notes on Cubical sets Introduction These are some lecture notes for a course presenting the cubical set model of type theory, first in Copenhagen, December 2014, and then in Paris, FebruaryWe describe a p Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-05-31 17:02:27 Differential topology Proof theory Symbol Sheaf Mathematics
755	Proofs in theories Gilles Dowek Draft, September 2013 2 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-05-25 05:47:28 Proof theory Dependently typed programming Type theory Logic in computer science Natural deduction Curry–Howard correspondence Theorem Mathematical proof Brouwer–Heyting–Kolmogorov interpretation Logic Mathematics Mathematical logic
756	An Overview of the Leon Verification System Verification by Translation to Recursive Functions Régis Blanc Viktor Kuncak Etienne Kneuss Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-06-11 12:02:50 Data types Higher-order functions Type theory Recursion Source code Algebraic data type Satisfiability Modulo Theories Map ALGOL 68 Software engineering Computer programming Computing
757	PDF Document Add to Reading List Source URL: geofizika-journal.gfz.hr Language: English - Date: 2008-01-31 09:28:14 Fuzzy set Defuzzification Membership function Fuzzy number Atmospheric dispersion modeling Possibility theory Fuzzy control system Type-2 fuzzy sets and systems Fuzzy logic Logic Mathematical logic
758	On Static Analysis for Expressive Pattern Matching Mirco Dotta, Philippe Suter and Viktor Kuncak? School of Computer and Communication Sciences, EPFL, Switzerland {firstname.lastname}@epfl.ch Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 08:03:06 Data types Functional programming Type theory Algebraic data type Binary trees Procedural programming languages Pattern matching Guard Cons Software engineering Computing Computer programming
759	Third Edit ion THE ICON PROGRAMMING LANGUAGE Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2005-07-13 11:53:36 Data types Procedural programming languages Icon Public domain software C programming language Type theory Comparison of Pascal and C String C Computing Software engineering Computer programming
760	Curriculum Vitae for Thierry Coquand Born, Jallieu (Is`ere, France) Education ´ • 1980 Ecole Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-03-20 10:27:36 Dependently typed programming Type theory Predicate logic Logic in computer science Mathematical constructivism Constructivism Constructive proof Coq Proof theory Mathematical logic Logic Programming language theory

UPDATE